Some corrections in documentation.