minor change in documentation