clarify that JSON supports double quotes