modified calls to stdNormCDF to use public name