Fix bug introduced by overzealous delete