minor fix in deploy.sh