Small fix in documentation