Update example 4.a