added opcode behavior documentation, fixed an opcode behavior bug