Minor improvements in main doc.