Fix mistake in leaderboard