Fix bug in benchmark.js