Deployment script: bug fix.