Update encoding.py