Fixed a bug: escape character needed

In a string literal, \\ represents \