--- a/model/ProvenanceModel.html	Thu Dec 08 11:20:52 2011 +0000
+++ b/model/ProvenanceModel.html	Thu Dec 08 11:54:41 2011 +0000
@@ -2417,7 +2417,7 @@
 <span class="nonterminal">datatype</span> ::= <span class="nonterminal">qualifiedName</span></br>
 <span class="nonterminal">convenienceNotation</span> &nbsp;::= <span class="nonterminal">stringLiteral</span> | <span class="nonterminal">intLiteral</span></br>
 <span class="nonterminal">stringLiteral</span> ::= <span class="nonterminal">quotedString</span></br>
-<span class="nonterminal">quotedString</span> ::= <em>a finite sequence of characters in which " (U+22) and \ (U+5C) occur only in pairs of the form \" (U+5C, U+22) and \\ (U+5C, U+5C), enclosed in a pair of " (U+22) characters</em></br>
+<span class="nonterminal">quotedString</span> ::= <em>a finite sequence of characters in which &quot; (U+22) and \ (U+5C) occur only in pairs of the form \&quot; (U+5C, U+22) and \\ (U+5C, U+5C), enclosed in a pair of &quot; (U+22) characters</em></br>
 <span class="nonterminal">intLiteral</span> ::= <em>a finite-length sequence of decimal digits (#x30-#x39) with an optional leading negative sign (-)</em>
 </div>