Fix chap07 code.