make it easier to fix broken encodings