another doc fix attempt