main.rkt was out of date with renamings