yet more doc tweaks