more minor documentation tweaks