Added a fix to make sure that duplicate leaderboard entries get removed.