minor tuning of the doc document