small fix for deletion of subsumed polygons