User blog comment:Deedlit11/Ordinal Notations IV: Up to a weakly inaccessible cardinal/@comment-26428969-20160224150404/@comment-1605058-20160224153536

I wouldn't call this a problem, rather just a minor mistake.