minor shell script fix