User blog comment:Deedlit11/Ordinal Notations V: Up to a weakly Mahlo cardinal/@comment-5029411-20130716001125/@comment-5529393-20130716011622

Fixed, thanks!