Post correct encodings