Bug fix - change the random number seed, always.