Fixes #101: JSON is picky about commas, in dev tree too