Tiny change to GameLauncher