Fixed a doc bug.