fix launch file

this fix got lost somehow...