Fix mistake in type inference characterization
Fix a few typos