Corrigendum to: "weak arithmetics and Kripke models"