benchmarking bug fix