completed/fixed Example 2.4.5