small improvements to leaderboard