small fix on launch script