Minor bash script tweaks