corrections in the doc