Tiny doc fix
Merge pull request #525 from girder/tiny-deploy-fix

Tiny doc fix