Minor changes in comments