minor corrections in comments