Fix in unsetup.sh