Fix a documentation error