benchmark bug fix