Tiny documentation improvements [ci skip]