Correction to benchmarks