Small fix in docs.