Ops, fixing a bug with timings in benchmark