Update main.rkt

Fix typos