Then I think we should add a comment to explain why we're doing this, and that hopefully it can be removed in the future.