More documentation tweaks