Update tiolib.py