fix cut and paste error in shelllauncher