Typo fix in post of 2012-11-02.