fixed double_seed error