fix a doc error