Fixing some typos in comments, elaborating more in docs.