Some doc tweaks