Fix bad non-ASCII characters