made minor changes to leaderboard code in minigrade