Corrigendum uploaded on July 16, 2025