Some corrections in the doc