Fix bug in the justLaunch function.