Further cleanups of the documentation.