Final small corrections to documentation.