Misc improvements in the doc.