Minor formatting changes in GameEngine class