It also clearly says "2500 radius circle" in the article title, and the submission title. The article is fast and loose with diameter vs radius later on as well. I can't blame the original commenter for using it as a radius when that's in the title.

But I agree, it's actually the diameter and changes the math a lot.