Minor tweaks to bash script