a minor change in provision.sh