Slight tuning of main docs.