small changes to game_finished javascript