Minor changes to doc/ENCODINGS