User blog comment:Googology Noob/Ordinal FGH, with an actual definition!/@comment-1605058-20151219200302/@comment-27173506-20151220054716

Oh, didn't correct that. Thanks for noticing!