monkey patch web.py