More doc tweaks