Update PrettyJSON.py