Small fix for benchmark