Some documentation fixes [ci skip]