Update jsonvert.py