Fix a bug, escape double quotes when displaying headers in HTML