That’s what you do with typos. If that comment happened to fall into the seconds it took me to do so, that’s on me. But I kinda doubt it did and I also kinda doubt you got that the post was a totally obvious joke to begin with.