fix a problem in Ex10.5.7