Fix to seed the random number generator