src/ch5/ex12: bug fix.