Minor tweak to `benchmark.js`