little fixes in launch.rb