Corrigendum uploaded on November 17,2023