web.py: minor comment