Updated example 7.