web.py: fix typo