some small documentation tweaks