Tiny documentation styling fixes [ci skip]