Should this double quote character be escaped in the output?