Fixed a small code error in 13.1 Example 3