You are correct. The naming scheme is confusing as heck. When Android device manufactures transitioned to armv7, a dev tools company I worked with at the time made the decision to drop armv5/armv6 support. But users were absolutely confused by this, because device manufacturers continued pushing the marketing names. The worst for us was ARM11, which was like a dual armv6, because cheap device manufactures continued pushing new devices based on this instead of moving to armv7.

Indeed a typo, it's ARMv7 and it's indeed 64 bits according to Farnell: http://www.farnell.com/datasheets/2020826.pdf