Trivial changes in comments.