Fix level headings being printed multiple times in reviewer leaderboard.