Doc tweaks [ci skip]