tweaks to the documentation