more notes about encodings