Some reformatting of the doc