Minor corrections in documentation.