The article (linked below) by John R. T. Lamont, DPhill, deftly treats of the process by which a pope may be corrected, and of true & false notions of obedience to ecclesial authority.
http://rorate-caeli.blogspot.com/2017/02/article-on-formal-correction-of-pope.html
May the Holy Ghost ever-guide Mother Church — not least her higher (and lower) clerics — in these turbulent times!