some minor changes in the comments