diff --git a/ruler.cabal b/ruler.cabal
--- a/ruler.cabal
+++ b/ruler.cabal
@@ -1,5 +1,5 @@
 Name:                ruler
-Version:             0.4.0.0
+Version:             0.4.0.1
 Copyright:           Utrecht University, Department of Information and Computing Sciences, Software Technology group
 Description:         Ruler tool used by UHC (Utrecht Haskell Compiler)
 Synopsis:            Ruler tool for UHC
@@ -66,7 +66,7 @@
                        containers >= 0.4 && < 0.6,
                        uulib >= 0.9 && < 1,
                        mtl >= 2 && < 3,
-                       uhc-util >= 0.1.0.2,
+                       uhc-util >= 0.1.3.0,
                        uuagc >= 0.9.42.2,
                        uuagc-cabal >= 1.0.4.0,
                        shuffle >= 0.1.0.2
diff --git a/src/AS2/Pretty.cag b/src/AS2/Pretty.cag
--- a/src/AS2/Pretty.cag
+++ b/src/AS2/Pretty.cag
@@ -166,8 +166,8 @@
 %%[1 ag
 SEM RlDecl
   | LTX             lhs     .   pp          =   let r = "\\" >|< (pcRule @lhs.ppCfg) >|< ppCurly @rlNm >|< ppCurly @vwNm
-                                                        >-< ppListSepVV "{%" "}" "\\\\" @preJds.ppL
-                                                        >-< ppListSepVV "{%" "}" "\\\\" @postJds.ppL
+                                                        >-< ppBlockWithStrings "{%" "}" "\\\\" @preJds.ppL
+                                                        >-< ppBlockWithStrings "{%" "}" "\\\\" @postJds.ppL
                                                 in  mkTexCmdDef (pcDef @lhs.ppCfg) @nm r
   | LTXAlias        lhs     .   pp          =   mkTexCmdDef (pcDef @lhs.ppCfg) @fullAliasNm (mkTexCmdUse (pcUse @lhs.ppCfg) @fullNm)
 
diff --git a/src/Common.chs b/src/Common.chs
--- a/src/Common.chs
+++ b/src/Common.chs
@@ -81,8 +81,10 @@
 -- PP instances
 -------------------------------------------------------------------------
 
+{-
 instance (PP a,PP b) => PP (a,b) where
   pp (a,b) = pp a >#< ":" >#< pp b
+-}
 
 -------------------------------------------------------------------------
 -- Kind of Expr wrappers (for influencing latex pretty printing, colors)
diff --git a/src/Gam.chs b/src/Gam.chs
--- a/src/Gam.chs
+++ b/src/Gam.chs
@@ -278,7 +278,7 @@
 ppGam :: (PP k, PP v) => Gam k v -> PP_Doc
 ppGam
   = ppl . map (ppl . map (\(k,v) -> pp k >#< ":->" >#< pp v)) . gamAssocs'
-  where ppl = ppListSepV "[" "]" ","
+  where ppl = ppBlockWithStringsH "[" "]" ","
 
 ppGam' :: (PP k, PP v) => Gam k v -> PP_Doc
 ppGam' = vlist . map (\(k,v) -> pp k >#< ":->" >#< pp v) . gamAssocs