Extra Closing Bracket in String Literal description in Doc.txt

There seem to be an extraneous closing bracket `}` in the String Literal description inside the generated Doc.txt:

```txt
String literals //String// have the form
``"``//x//``"``}, where //x// is any sequence of any characters
except ``"`` unless preceded by ``\``.
```

in line 2 column 16.