Revert commit [7f0c1b]

Hint: Reverts can be reverted, too.