minor changes in comments