further tweaks to docs