Fix example4.14