Fixed some code that set Random.seed without reverting it (this probably doesn't matter at all, but it helps me sleep at night)