Small fix in documentation.