Minor cosmetic changes to the leaderboard code