0x72 opcode fix