fixed a documentation error