Update web.py

as you told on the mail-list