more tweaks to docs