more tweaks to documentation