A couple improvements to the documentation.