That's incredibly embarrassing. Thank you for pointing it out! I wrote this post while going through a bad head cold, so I'm afraid I missed quite a few typos and errors of that sort. Hopefully that's the last one.