update info.rkt