Corrections to the documentation.