minor changes in the doc