Further doc tweaks