Corrigendum uploaded on September 24, 2025