Update encoding.h