little corrections in the doc
new file