Minor doc fixes [ci skip]