Small cleanup in GameController