Fixed a doc bug