diff --git a/index.html b/index.html
index feee0b7..975fcbf 100644
--- a/index.html
+++ b/index.html
@@ -39,6 +39,11 @@ input[type="text"] {
     padding: 1em;
     border: 1px solid #c3c3c3;
     border-radius: 0.5em;
+    margin-top: 1em;
+}
+
+.elm-root h2 {
+    margin-bottom: 0.5em;
 }
   </style>
 </head>
diff --git a/src/Bergamot/Latex.elm b/src/Bergamot/Latex.elm
index 470ff9e..d0baf78 100644
--- a/src/Bergamot/Latex.elm
+++ b/src/Bergamot/Latex.elm
@@ -8,6 +8,7 @@ termToLatex f t =
     case t of
         Call "type" [t1, t2] -> termToLatex f t1 ++ " : " ++ termToLatex f t2
         Call "intlit" [t1]   -> termToLatex f t1
+        Call "strlit" [t1]   -> termToLatex f t1
         Call "tpair" [t1, t2] -> termToLatex f t1 ++ "\\times" ++ termToLatex f t2
         Call "plus" [t1, t2] -> termToLatex f t1 ++ " + " ++ termToLatex f t2
         Call "pair" [t1, t2] -> "(" ++ termToLatex f t1 ++ ", " ++ termToLatex f t2 ++ ")"