Fixing web.py