small fix to shell script