Fix bug in launch script