Small correction on benchmark

...But nothing to change the results.