fixing syntax error in web.py