Minor updates to Deploy.py