Benchmark, possibly showing a bug?