some corrections and some suggestions in the documentation