Example 2 now works.