No I didn't. The naming conventions for this instruction set are a bit of a mess [0], with every company trying to stick their brand in the middle of it. No wonder people get confused on this. Thanks for pointing that out.
[0] http://en.wikipedia.org/wiki/X86-64