Remove a bug in setup.sh