actual patch for deletion.py...