Fixed a small bug in random-game-view.ecpp