Fix a deployment script issue