correct some code of ex4