Minor changes in comments.