Thank you for the correction. It was a typo, but it’s unfortunately too late to edit the post.

No problem, I wasn't sure so I had to go looking, and I figured I'd post a correction for anyone who saw it.