some more doc tweaks