[Brian]

I'm told that two badge-count fixes just were just checked in. :-)