Some corrections in the documentation