major bugfix for RichSequenceFileLoader