Some doc tweaks.