fixing bug in Launcher