Minor improvements of the doc.