Another bash script fix