small documentation tweaks