A minor change in documentation.