A fix in Win64 instructions.