fix some UTF8 encoding weirdness