Update info.rkt for v1.5