an invalid json file