Minor tweak to comments.