Small documentation tweaks