Typos in 6.222 Example 6