Minor doc tweaks. [ci skip]