Small corrections to the documentation.