more doc tweaks