More minor documentation tweaks