User blog comment:P進大好きbot/Googological Open Problems on OCFs/@comment-32697988-20190720124303/@comment-35470197-20190720133332

Right. I corrected it now.