another documentation fix