Revert commit [741ddc]

Hint: Reverts can be reverted, too.