Change formatting of leaderboard to handle ties