has a bug in .del()