It's not clear to me from this comment what we ought to do to resolve the issue.