fix some example typos