minor corrections to documentation