Minor change to one batch script