fix a problem with the Benchmark package

and add a benchmark result