Some minor documentation tweaks