When did a "formal act of correction" of a pope's statement happen in the past? In this article Cardinal Raymond Burke has now indicated the cardinals are contemplating a “formal correction” should the pope fail to address their concerns.

Also, he states:


  Historically, in the rare cases where popes have taught heresy, Burke
  explains, “It is the duty…, and historically it has happened...


I did some research but couldn't find any sources that investigate this issue. My question is when and who did it happen that the bishops had to carry out the "formal correction" in the history of the church?
The Doctor of the Church St. Robert Bellarmine (1542-1621) collected 40 cases—from Pope St. Peter to Pope Innocent VIII (reigned 1484-1492)—of where a pope or anti-pope was said to have erred in faith (i.e., proclaimed heresy) in the work


De Controversiis Fidei Christianæ (Ingolstadt, 1588),


which has been recently translated as:


Robert Bellarmine, Papal Error?: A Defense of Popes Said to Have Erred in Fatih, trans. Ryan Grant (Mediatrix Press, 2015).


The 36th case of Pope John XXII (reigned 1316-1334) is probably the most famous recent one. Ockham (et al.) accused Pope John XXII of heresy for denying a dogma that had not yet been infallibly defined.

Basically, Ockham et al. thought that Pope John XXII denied the then-material (i.e., not-yet-infallibly-defined) dogma that the souls of the deceased destined to heaven behold the Beatific Vision immediately after death—a dogma which Pope John XXII's successor, Pope Benedict XII (reigned 1334-1342), infallibly defined in Benedictus Deus (1336). (cf. this and the references therein)

St. Robert, although defending Pope John XXII as a valid pope, writes that even cardinals (the vast majority of them!) opposed the opinion of Pope John XXII:


  The Third lie is that no Cardinal opposed the teaching of John. This is clearly false, because neither Gerson, nor any other says this, and because many thought the contrary, as was clear from the definition which was made by Pope Benedict XII after the death of John from the consensus of all Cardinals which is clear in the epistle of Benedict; nor was there a reason why these, who thought the contrary, should fear to oppose John while he was living. Benedict XII, in his Extravagantes, asserts that Pope John severely commanded the Cardinals and others, all teachers, that they should sincerely give their opinion, that the truth could be discovered. Next, John Villanus, who did live at that time, writes the greater part of the Cardinals opposed the opinion of Pope John while he lived. [Histoiria, lib. 10, cap. ult.]