Corrections in the doc