Fix names of encodings