minor change in doc