Correct name of JSON input file.