fix example
3.4.2