fix bug when a triple is deleted & added from different extractors
Merge remote-tracking branch 'origin/master'