use a more reliable encoding