bug fix in benchmarking