Few documentation tweaks