Revert commit [7c1b7c]

Hint: Reverts can be reverted, too.