Benchmarking related bugfix. it was minor, but it was critical (?)