Minor bugfix to leaderboards, one of a million