bug fix in benchmark