Fix jsontools: Return after the file is closed.