Corrigendum uploaded on March 6,2024