Small fix in docs