bug fix in AtomicCounter.cpp