Fix subtle encoding issue.