minor corrections in the comments