diff --git a/src-3.0/GF/Infra/UseIO.hs b/src-3.0/GF/Infra/UseIO.hs
index f7563ed2c..079958b05 100644
--- a/src-3.0/GF/Infra/UseIO.hs
+++ b/src-3.0/GF/Infra/UseIO.hs
@@ -249,7 +249,10 @@ putPointE v opts msg act = do
   a <- act >>= ioeIO . evaluate
   t2 <- ioeIO $ getCPUTime
 
-  when (flag optShowCPUTime opts) $ ioeIO $ putStrLnFlush (' ' : show ((t2 - t1) `div` 1000000000) ++ " msec")
+  ioeIO $ putStrLnFlush
+            (if flag optShowCPUTime opts
+               then (' ' : show ((t2 - t1) `div` 1000000000) ++ " msec")
+               else "")
   return a