Nice little fixup on the karma tracker.