Fix info.rkt to reflect new file structure