Update defs.py