Finish the unfinished comment in benchmark.php