Add import information to Example 7.