fixing launch.js