bugfix: benchmarks