Erratum to: Approximate fixed points in abstract interpretation☆