Fixed a bug: escape character needed

In a string literal, \\\\ represents \