Fix input format bugs in CreateLaunchConfiguration