documentation tweaks