benchmarking: minor fix