src/ch6/ex01: fix.