Fix some typos.
Add a big example to conclude the last section.