fixed a small but important issue in the extractor