Fixes a typo in the 64-bit registers.