Document correct output for resetCounter()