corrections in documentation.