A couple of documentation tweaks