minor corrections in comments/doc