small fix in new benchmark script