Fix bad shell script syntax