bugfix for benchmarking