Some little modifications and additions in the doc of the config file