I've been reading comments on this thread for a few minutes, with my kids distracting me mixed in. I've been on the page for over ten minutes. The two corrections came through ~10 apart.
It's entirely plausible that when saagarjha loaded the page, the first correction hadn't even been made yet.
Yup, this pretty much. I expected this to be a small correction and then my comment would end up being collapsed by a passing moderator, but I guess it didn’t completely work out that way this time.
