Update info.rkt to fix build failure.