minor fix in bash script