Fix 64bit disassembly