Fixed a documentation issue