Revert commit [f938ad]

Hint: Reverts can be reverted, too.