Fixing a couple small typos in the post.