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.
Mathematicians stand on each other's shoulders. -- Gauss