Hopefully fixed all the random seed business.