Should we do this, or delete the comment?