Conversion of some weird non-ASCII characters