Fixed a bug in explain_opcode