modify def.py