Minors changes in comments