Fix a missing comma in BenchmarkPositions[]