Index: spock/library.scm
===================================================================
--- spock/library.scm	(revision 33693)
+++ spock/library.scm	(working copy)
@@ -1295,7 +1295,7 @@
 	       " case '\\n': a.push('\\n'); break;"
 	       " case '\\t': a.push('\\t'); break;"
 	       " case '\\r': a.push('\\r'); break;"
-	       " case '\\\"': a.push('\\\"'); break;"
+	       " case '\\\"': a.push('\\\\\"'); break;"
 	       " case '\\\\': a.push('\\\\'); break;"
 	       " default: a.push(c);}}"
 	       "return K(a.join(''));"))