Fixing a small post in a typo