Small docs fixes [ci skip]