minor fixes to deploy.py