Some corrections in documentation