Fix a problem with encoding