I was wondering about that. Thanks for the formatting correction. I went back and looked at the original, and it was just like it's posted above.
Happens a lot. Doesn't hurt to make the text more conventional for the benefit of some up and coming Goedel who hasn't been exposed to cosmology yet.