Fix some opcode names