really fix JSON syntax this time