Fixed a documentation comment