fixed the Sequence file spec