few documentation tweaks