Fix a typo in benchmark comments