patch utf8 encoding issues in @type