Minor doc tweaks.