Bug fix: _check_benchmarks didn't return the correct benchmarks