Fix a typo in a post (2013-Oct-21)