JSON syntax fix to ensure acceptance by pedantic parsers