Fix benchmark output