diff --git a/jukebox.cabal b/jukebox.cabal
--- a/jukebox.cabal
+++ b/jukebox.cabal
@@ -1,5 +1,5 @@
 Name: jukebox
-Version: 0.2.13
+Version: 0.2.13.1
 Cabal-version: >= 1.8
 Build-type: Simple
 Author: Nick Smallbone
diff --git a/src/Jukebox/Toolbox.hs b/src/Jukebox/Toolbox.hs
--- a/src/Jukebox/Toolbox.hs
+++ b/src/Jukebox/Toolbox.hs
@@ -211,7 +211,7 @@
         part i = show i ++ "/" ++ show (length conjectures)
         result x hint = do
           message globals ("SZS status " ++ x)
-          putStrLn ""
+          unless (quiet globals) $ putStrLn ""
           message globals hint
 
 inferBox :: OptionParser (Problem Clause -> IO (Problem Clause, Type -> Type))