Minor documentation tweaks [ci skip]