Fixed a bug in processJSONs.pl