Small fix in the documentation.