Fixed comment in ex4.13