minor tweak to the bash script