Minor fixes in the doc