Small changes to TestLevel1 and GameState