Small changes in launcher.