Fixing benchmarks