Small cleanups in the documentation.