Minor changes to LevelManager