Fix a problem with encodings