Revert commit [2537ec]

Hint: Reverts can be reverted, too.