Typos; fix example code