Replaced non-ASCII character in source with Unicode character code.