fix small problem with seeding