more doc tweaks.