More minor corrections to benchmarks.