Minor update in comments.