Note that JSON inputs should have extension .json