minor tweaks to shell scripts