OCD fixes in main.rkt