Perhaps we should be smarter with unicode encoding