Ah, so this deletion should be reverted?