Fix in setup.sh