minor changes in comments.