Minor shell script fix