Bugfix in benchmark script