added some minor corrections in comments