[doc minor] minor addition to doc