small fix in LaunchConfigTransformer