Fix op_counter