Corrections to documentation.