fix shell script syntax