Bug fixing: Counters Debugger.