Fix another doc error