proper handling of EOF for sequence files.  Fixes #6