minor changes in the comments