Fix encoding issue with web.py JSON decoding