slight performance improvement for HashCounters