Re #8635. Using the correct kind of delete now.