fixing yet another doc error