Update info.rkt as requested by Jay.