minor bash script updates