Remove an obsolete comment.