Revert e01886327d

Sorry, this was nonsense.