Fix Randoms serialization version