few more minor changes to the doc