Yeah, that was a typo on my part. I didn't notice it at first, and it's now been so long since I posted it that I would feel disingenuous editing it. I think someone pointed out the typo in the comments.
It's perfectly okay to ensure your text is communicating accurate information - in fact leaving it may undermine your explanation as certain folks will focus on the error (or others won't notice it and learn something incorrect).