Minor fixes in the benchmarks.