diff --git a/Makefile b/Makefile
index fcb8ea148..dd0fa2db5 100644
--- a/Makefile
+++ b/Makefile
@@ -50,7 +50,8 @@ KOMPILE_LLVM := kompile --backend llvm --md-selector "$(tangle_selector)" \
 
 KOMPILE_HASKELL := kompile --backend haskell --md-selector "$(tangle_selector)" \
                    $(KOMPILE_OPTS)                                              \
-                   $(HASKELL_KOMPILE_OPTS)
+                   $(HASKELL_KOMPILE_OPTS)                                      \
+                   --warnings-to-errors
 
 ### LLVM
 
diff --git a/data/list-int.k b/data/list-int.k
index 2337ac235..f0040f8b5 100644
--- a/data/list-int.k
+++ b/data/list-int.k
@@ -16,7 +16,7 @@ module LIST-INT
           ]
   syntax ListInt ::= ".ListInt"
           [ function, total, hook(LIST.unit), klabel(.ListInt),
-            symbol, smtlib(smt_seq_nil), latex(\dotCt{ListInt})
+            symbol, smtlib(smt_seq_nil)
           ]
   syntax ListInt ::= ListItem(WrappedInt)
           [ function, total, hook(LIST.element), klabel(ListIntItem),
diff --git a/data/list-ref.k b/data/list-ref.k
index fb920ba4d..deca3b299 100644
--- a/data/list-ref.k
+++ b/data/list-ref.k
@@ -16,7 +16,7 @@ module LIST-REF
           ]
   syntax ListRef ::= ".ListRef"
           [ function, total, hook(LIST.unit), klabel(.ListRef),
-            symbol, smtlib(smt_seq_nil), latex(\dotCt{ListRef})
+            symbol, smtlib(smt_seq_nil)
           ]
   syntax ListRef ::= ListItem(RefVal)
           [ function, total, hook(LIST.element), klabel(ListRefItem),
diff --git a/data/map-int-to-int.k b/data/map-int-to-int.k
index 77e6b9a3a..750d52724 100644
--- a/data/map-int-to-int.k
+++ b/data/map-int-to-int.k
@@ -25,12 +25,12 @@ module MAP-INT-TO-INT
          ]
   syntax MapIntToInt ::= ".MapIntToInt"
          [ function, total, hook(MAP.unit),
-           klabel(.MapIntToInt), symbol, latex(\dotCt{MapIntToInt})
+           klabel(.MapIntToInt), symbol
          ]
   syntax MapIntToInt ::= WrappedInt "Int2Int|->" WrappedInt
          [ function, total, hook(MAP.element),
            klabel(_Int2Int|->_), symbol,
-           latex({#1}\mapsto{#2}), injective
+           injective
          ]
 
   syntax priorities _Int2Int|->_ > _MapIntToInt_ .MapIntToInt
@@ -50,9 +50,7 @@ module MAP-INT-TO-INT
                    klabel(_MapIntToInt[_<-undef]), symbol
                  ]
   syntax MapIntToInt ::= MapIntToInt "-Map" MapIntToInt
-                 [ function, total, hook(MAP.difference),
-                   latex({#1}-_{\it MapIntToIntMap}{#2})
-                 ]
+                 [ function, total, hook(MAP.difference) ]
   syntax MapIntToInt ::= updateMap(MapIntToInt, MapIntToInt)
                  [function, total, hook(MAP.updateAll)]
 
diff --git a/data/sparse-bytes.k b/data/sparse-bytes.k
index 4d8638be5..76125ac82 100644
--- a/data/sparse-bytes.k
+++ b/data/sparse-bytes.k
@@ -16,7 +16,7 @@ module SPARSE-BYTES
           ]
   syntax SparseBytes ::= ".SparseBytes"
           [ function, total, hook(LIST.unit), klabel(.SparseBytes),
-            symbol, smtlib(smt_seq_nil), latex(\dotCt{SparseBytes})
+            symbol, smtlib(smt_seq_nil)
           ]
   syntax SparseBytes ::= SBChunk(SBItem)
           [ function, total, hook(LIST.element), klabel(SparseBytesItem),
diff --git a/package/version b/package/version
index d917d3e26..b1e80bb24 100644
--- a/package/version
+++ b/package/version
@@ -1 +1 @@
-0.1.2
+0.1.3
diff --git a/pykwasm/pyproject.toml b/pykwasm/pyproject.toml
index b5885cace..bb39b1544 100644
--- a/pykwasm/pyproject.toml
+++ b/pykwasm/pyproject.toml
@@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api"
 
 [tool.poetry]
 name = "pykwasm"
-version = "0.1.2"
+version = "0.1.3"
 description = ""
 authors = [
     "Runtime Verification, Inc. <contact@runtimeverification.com>",