Fixed a typo in an old post.