Fix typos.
Better to put the example first and discuss it afterwards.