Small cleanup in the shell scripts