No, making a spelling error while professing to use decent grammar is not an example of irony.
True, but he also talked about making an effort to write clearly. Correct grammar is part of that, but using the right letters helps too.
"This is lemma 1.1. We start a new chapter so the numbers all go back to one." -- Prof. Seager, C&O 351