file naming mixup

fixing another file naming mixup in the BASH script