Minor tweaks to list.json.