Fixed issue with unescaped Alloy tags.
Merge pull request #6257 from tstatler/TIDOC-1933

[TIDOC-1933] Fixed issue with unescaped Alloy tags.