Fixed bug in DynamicBucketCounter, in which the max count was
incorrectly being returned.