some minor corrections in the comments