Fix bug in launch file