Fix a problem with the benchmark results