Minor fix to leaderboard