minor changes on the doc