minor changes int HighScoreManager and code formating;