fix mit extractor