Small fix in the documentation