diff --git a/com.ibm.wala.core/src/com/ibm/wala/ssa/SSABinaryOpInstruction.java b/com.ibm.wala.core/src/com/ibm/wala/ssa/SSABinaryOpInstruction.java
index 058bb998d..2f1f92d02 100644
--- a/com.ibm.wala.core/src/com/ibm/wala/ssa/SSABinaryOpInstruction.java
+++ b/com.ibm.wala.core/src/com/ibm/wala/ssa/SSABinaryOpInstruction.java
@@ -45,8 +45,10 @@ public class SSABinaryOpInstruction extends SSAInstruction {
   }
 
   public String toString(SymbolTable symbolTable, ValueDecorator d) {
-    return getValueString(symbolTable, d, result) + " = binaryop(<opcode printing unsupported) "
-        + getValueString(symbolTable, d, val1) + " , " + getValueString(symbolTable, d, val2);
+    return getValueString(symbolTable, d, result) + 
+	" = binaryop(" + operator + ") " + 
+	getValueString(symbolTable, d, val1) + " , " +
+	getValueString(symbolTable, d, val2);
   }
 
   /**
diff --git a/com.ibm.wala.core/src/com/ibm/wala/ssa/SSACFG.java b/com.ibm.wala.core/src/com/ibm/wala/ssa/SSACFG.java
index fa66f726f..c7038375a 100644
--- a/com.ibm.wala.core/src/com/ibm/wala/ssa/SSACFG.java
+++ b/com.ibm.wala.core/src/com/ibm/wala/ssa/SSACFG.java
@@ -731,7 +731,7 @@ public class SSACFG implements ControlFlowGraph {
    * 
    * @see com.ibm.wala.cfg.ControlFlowGraph#entry()
    */
-  public IBasicBlock entry() {
+  public SSACFG.BasicBlock entry() {
     return basicBlocks[0];
   }
 
@@ -740,7 +740,7 @@ public class SSACFG implements ControlFlowGraph {
    * 
    * @see com.ibm.wala.cfg.ControlFlowGraph#exit()
    */
-  public IBasicBlock exit() {
+  public SSACFG.BasicBlock exit() {
     return exit;
   }
 
diff --git a/com.ibm.wala.core/src/com/ibm/wala/util/debug/Trace.java b/com.ibm.wala.core/src/com/ibm/wala/util/debug/Trace.java
index 65fffa22b..79911a759 100644
--- a/com.ibm.wala.core/src/com/ibm/wala/util/debug/Trace.java
+++ b/com.ibm.wala.core/src/com/ibm/wala/util/debug/Trace.java
@@ -10,10 +10,7 @@
  *******************************************************************************/
 package com.ibm.wala.util.debug;
 
-import java.io.File;
-import java.io.FileNotFoundException;
-import java.io.FileOutputStream;
-import java.io.PrintStream;
+import java.io.*;
 import java.util.Collection;
 import java.util.Iterator;
 
@@ -106,6 +103,14 @@ public class Trace {
     }
   }
 
+  public static void flush() {
+    out.flush();
+  }
+
+  public static PrintWriter getTraceWriter() {
+    return new PrintWriter(out);
+  }
+
   /**
    * print S iff s contains substring
    * 
@@ -161,4 +166,4 @@ public class Trace {
     setTraceFile();
     return traceFile;
   }
-}
\ No newline at end of file
+}