Bug fix in example 7