yet another doc fix