Fixing the format for the json file name