Tiny documentation fixes [ci skip]