diff --git a/SimpleSMT.hs b/SimpleSMT.hs
--- a/SimpleSMT.hs
+++ b/SimpleSMT.hs
@@ -731,8 +731,8 @@
                            t <- readIORef tab
                            putStr $ unlines [ replicate t ' ' ++ l | l <- ls ]
                            hFlush stdout
-         logTab   = modifyIORef' tab (+ 4)
-         logUntab = modifyIORef' tab (subtract 4)
+         logTab   = modifyIORef' tab (+ 2)
+         logUntab = modifyIORef' tab (subtract 2)
      return Logger { .. }
 
 
diff --git a/simple-smt.cabal b/simple-smt.cabal
--- a/simple-smt.cabal
+++ b/simple-smt.cabal
@@ -1,5 +1,5 @@
 name:                simple-smt
-version:             0.5.3
+version:             0.5.4
 synopsis:            A simple way to interact with an SMT solver process.
 description:         A simple way to interact with an SMT solver process.
 license:             BSD3