Minor changes in the comments