Fix encoding to work around US-ASCII bug.