Some final tweaks to Example 4.