tweak String Literals EscapeSequence 

The documentation claimed `\ EndOfFile`. This is wrong though because "EndOfFile" is a set of values, and not actual printable characters. The correct escape here is simply `\0`.