Typos, page 2. See #25.