minor mods to docs