Small fix in comments.