Fix for test_seeding