fix main.rkt