fix syntax error in web.py