minor corrections in  the documentation