corrections to documentation.