fixed bug in ex 2.18.rkt