Additional documentation tweaks