Minor corrections to the documentation.