Don't you need to do something later to deal with seed being None? Does random.seed(None) do the right thing?