Minor documentation tweaks