More tweaks to leaderboards