Update coindefinition.py