another doc fix, grr [ci skip]