diff --git a/analysis/datastub/printer.py b/analysis/datastub/printer.py
index 388f9998..94dcf997 100644
--- a/analysis/datastub/printer.py
+++ b/analysis/datastub/printer.py
@@ -71,14 +71,15 @@ def doprint(self, text, ip, leak):
         self.outstream.write(" " * self.depth)
         if len(text) > 0:
             self.outstream.write(text + " ")
+
+        sym = None
         if SymbolInfo.isopen():
             sym = SymbolInfo.lookup(ip)
-            if sym is not None:
-                self.outstream.write(escape(sym.strat(ip)))
-            else:
-                self.outstream.write(hex(ip))
-        else:
+        if sym is None:
             self.outstream.write(hex(ip))
+        else:
+            self.outstream.write(escape(sym.strat(ip)))
+
         self.outstream.write("\n")
         if leak is not None:
             leak.doprint(self)