Small fix in the docs