This is just a minor fix. The Leaderboard in the main menu gets refreshed after each round (on Player Death to be precise), so you don't have to restart the game to get updated highscores :).
