Leaderboard doesn't correctly sort users with negative karma totals. Fixes #122