diff --git a/src/test/highlight/regression-highlight.dfy b/src/test/highlight/regression-highlight.dfy
index 83c512ca..03ee10fa 100644
--- a/src/test/highlight/regression-highlight.dfy
+++ b/src/test/highlight/regression-highlight.dfy
@@ -1,3 +1,9 @@
+// Issue #201
+const x := @"
+This is an escaped double quote ""
+This should be in the multiline string too
+"
+
 // Issue #194
 method f(x: OtherModule.CustomType, z: int) {
           //^ module should be white, `CustomType` should be blue
diff --git a/syntaxes/Dafny.tmLanguage b/syntaxes/Dafny.tmLanguage
index 1d0e0e15..d7ae8bd0 100644
--- a/syntaxes/Dafny.tmLanguage
+++ b/syntaxes/Dafny.tmLanguage
@@ -311,9 +311,9 @@
 					<key>begin</key>
 					<string>@"</string>
 					<key>end</key>
-					<string>"</string>
+					<string>"(?!")</string>
 					<key>name</key>
-					<string>string.dafny</string>
+					<string>string.multiline.dafny</string>
 					<key>patterns</key>
 					<array>
 						<dict>
@@ -328,7 +328,7 @@
 					<key>end</key>
 					<string>("|\n)</string>
 					<key>name</key>
-					<string>string.dafny</string>
+					<string>string.singleline.dafny</string>
 					<key>patterns</key>
 					<array>
 						<dict>