converted ISO-8859 character in a comment to UTF-8