A couple more documentation tweaks