Fix up a comment.