Revert commit [899c30]

Hint: Reverts can be reverted, too.