Some formatting; better importation of json module