Fix a notation on the leaderboard example