fix coverage for Travis
fix raise of GameOverException