tiny fix in DEPLOY docs