Gracefully handle our old JSON format in the gui too