Random.Xor128: Fix an error