Fix the consideration in ex4.24