Minor improvements to the doc.