Fix example 5-2.