Fix tiny typo on Benchmarking page

/cc @coderoshi