Small fixes to deploy.sh