fix instr counter