Got rid of double deletion.