minor documentation tweaks