Minor tidyings --
Additions to shell scripts --