Fixing a naming problem with the json files