Revert commit [964d00]

Hint: Reverts can be reverted, too.