Fix syntax in launch.sh