reset info.rkt