web.py: fixed potential bug with `urlencode`