Fixed a bug in launch.sh