Corrections to the benchmarks