fix encoding in json file