Minor changes to the doc