fix error that crept into benchmarks