Bug in launcher. No second argument is required now ...