Fix a doc error...