Revert commit [1a0edf]

Hint: Reverts can be reverted, too.