Fixed a documentation bug.