Simpler solution to getting Example 1.12 to work.