Various documentation tweaks