Further documentation tweaks