Fix a minor issue with printf when the game is over.