Yeah, I was going to leave it stand.
But then I remembered about the spelling and punctuation police,
and the beatings with rubber truncheons !
We once had a “typso” ping list here, for amusingly appropriate typos. It’s apparently fallen by the wayside, sadly.