minor bash fixes