fix #713, redundant test in erf