minor change in the doc