Minor changes to deploy script

Generated by commit b7a6a7c213f82c47fbfb0de026ffa765c4212aa5; pushed by Travis build 30.