correct trace estimator