Fixed a documentation entry