Fix dump.json