yet another doc correction