diff --git a/Tools/PyUtils/python/PoolFile.py b/Tools/PyUtils/python/PoolFile.py
index c885c2e311cf75587458551b2210719a813ceeba..a68044bc9d9fbc167784696d1a18b965085e58f0 100644
--- a/Tools/PyUtils/python/PoolFile.py
+++ b/Tools/PyUtils/python/PoolFile.py
@@ -855,13 +855,13 @@ class PoolFile(object):
                 print("is meaningless...")
         return
 
-    def detailedDump(self, bufferName = sys.stdout.name ):
+    def detailedDump(self, bufferName = None ):
         if self.poolFile is None or \
            self.keys is None:
             print("Can't perform a detailedDump with a shelve file as input !")
             return
                   
-        if bufferName == sys.stdout.name:
+        if bufferName is None:
             bufferName = "/dev/stdout"
         out = open( bufferName, "w" )
         sys.stdout.flush()