Updated info.rkt