Fix comment
Example 4.3