OP here. Thanks for the bug report! I'll fix. It's true, haven't used IE in the while, but that wasn't the point of the article. I care deeply about the web as a whole, and all of its evolution.