Some documentation tweaks