Fix misnaming of Agustín Bergé. Sorry!
Benchmark right folds.