Minor change to shell script