some minor corrections to the documentation