minor update to encodher.py