Minor documentation corrections [ci skip]