#6018: escape double quotes