Quick fix for PDAs

Apparently our beloved code reviewers didn't see that del() could be called twice.