Fixed some error in Example 4.