Corrigendum uploaded on May 16, 2024