Fix a bash scripting error