corrections to tex->utf8 conversion