It would be nice to know why this is necessary, but not worth holding up the PR.