fix a documentation error