A comment here explaining why we do this would be helpful.