mostly doc tweaks