Fix a typo in INFO