Fix bug with launch options