Some tiny documentation tweaks