Fixed a documentation bug