minor change in documentation.