Modify todlib.py