Fix some typos, add some forgotten examples