fixed a bug related to INSTR_READ