another doc fix