One minor change in ThreadCounterTest.