Doc tweaks. [ci skip]