Leaderboard Code Tweaks

Minor semantic edits to the leaderboard code.