diff --git a/jukebox.cabal b/jukebox.cabal
--- a/jukebox.cabal
+++ b/jukebox.cabal
@@ -1,5 +1,5 @@
 Name: jukebox
-Version: 0.5.1
+Version: 0.5.2
 Cabal-version: >= 1.10
 Build-type: Simple
 Author: Nick Smallbone
diff --git a/src/Jukebox/Tools/Clausify.hs b/src/Jukebox/Tools/Clausify.hs
--- a/src/Jukebox/Tools/Clausify.hs
+++ b/src/Jukebox/Tools/Clausify.hs
@@ -429,7 +429,7 @@
 skolemName prefix v = do
   s <- getName
   name <- lift (newName v)
-  return $ withRenamer name $ \str i ->
+  return $ withLabel "skolem" $ withRenamer name $ \str i ->
     Renaming [prefix ++ show (i+1)] $
       prefix ++ show (i+1) ++ concat [ "_" ++ t | t <- [s, str], not (null t) ]