Further doc tweaks.