Fix reproducibility