fix ex9.40