small corrections to doc/deploy.md