Some corrections in the doc.