Documentation fixes [ci skip]