Fixed a documentation glitch