Correct an error in setup.sh