some minor change in the doc