Delete since this isn't used after the previous changes