minor modification to improve reproducibility