Fix a bug in setTarget.sh