Fix a type in one of INFO messages