Fixed a documentation error