fix a bug in genTetParametricPtsINT