User blog comment:Dopp/Technical Update: May 17, 2011/@comment-4079395-20110521042234

NEW BUG: When users get tied on the leaderboard like: 10. User1 10. User2

The next user comes up with 11.User3

But it should be number 12, not 11. See the bug if you think it's too vague.