Removed some now dead code from deletion (thanks to Carl Meyer for noticing it).