Correct benchmark output