SAVE-JSON renamed to TO-JSON, output fixed