some minor documentation tweaks