Fixed P05.rkt.