A minor change in the documentation.