AG: fix the JSON!