Fix x86_64 assembly typo