Yet more documentation tweaks