Revert commit r1451076: lines were added by mistake