web.py: Put back line mistakenly taken out on prev commit.