Update info.rkt