json.dumps() to avoid js complaints about python unicode