BugFix in the extractor