Fix a doc error.