few doc fixes [ci skip]