Fixed a code error in 13.1 Example 3.