small tweaks to documentation