Minor improvements to the deployment scripts