fix a Sequence Extractor Bug