Small bash script changes