Fix up benchmarks