various fixes for seeding