Fix a benchmark selection bug.