Fix a US-ASCII character encoding problem.