Delete (possibly obsolete) comment.