corrections in documentation