Type in red is not what rebuking a pontiff is, a correction is not passing judgement on a pope. Passing judgement on a pope would entail removing him from office or penalizing him in some way. No power on Earth can rightfully remove a true pope from his office.