Update zenlib.py