Re #7878. Remove no longer needed delete.