Fix a doc bug.