documentation tweaks [ci skip]