minor bash script bug