1. Fix bug in SequenceReader