fix example 4-16

fix example 4-16