fixed minor bug in IOSLauncher (should have already been fixed)