Revert commit [3c735d]

Hint: Reverts can be reverted, too.