Small bug fix in GameLauncher