Fix a bug in __delete()