web.py: bug fix - forgot an import