PartialExtractor "leakage" bug

Issue #762