Fixes a bad line in info.rkt.