Revert commit [07ee6e]

Hint: Reverts can be reverted, too.