minor changes to web.py