Update aislib.py