diff --git a/com.ibm.wala.core/src/com/ibm/wala/dataflow/IFDS/ExplodedSupergraphPath.java b/com.ibm.wala.core/src/com/ibm/wala/dataflow/IFDS/ExplodedSupergraphPath.java
index dd8be9cfd..8ed23097a 100644
--- a/com.ibm.wala.core/src/com/ibm/wala/dataflow/IFDS/ExplodedSupergraphPath.java
+++ b/com.ibm.wala.core/src/com/ibm/wala/dataflow/IFDS/ExplodedSupergraphPath.java
@@ -430,7 +430,7 @@ public class ExplodedSupergraphPath<T> {
    * return nodes, and 2) excludes call/return pairs in which no state
    * transitions occur
    */
-  public static <T> ExplodedSupergraphPath summarize(ISupergraph<T,?> supergraph, ExplodedSupergraphPath<T> path) {
+  public static <T> ExplodedSupergraphPath<T> summarize(ISupergraph<T,?> supergraph, ExplodedSupergraphPath<T> path) {
     pruneForCallReturn(supergraph, path);
     // System.err.println("pruned path A: " + p);
     pruneBoringCalls(supergraph, path);
diff --git a/com.ibm.wala.core/src/com/ibm/wala/dataflow/IFDS/TabulationSolver.java b/com.ibm.wala.core/src/com/ibm/wala/dataflow/IFDS/TabulationSolver.java
index 262e269a4..df7d48aa2 100644
--- a/com.ibm.wala.core/src/com/ibm/wala/dataflow/IFDS/TabulationSolver.java
+++ b/com.ibm.wala.core/src/com/ibm/wala/dataflow/IFDS/TabulationSolver.java
@@ -134,7 +134,7 @@ public class TabulationSolver<T, P> {
   /**
    * The problem being solved.
    */
-  private final TabulationProblem problem;
+  private final TabulationProblem<T, P> problem;
 
   /**
    * A map from Object (entry node in supergraph) -> LocalPathEdges.
@@ -1060,7 +1060,7 @@ public class TabulationSolver<T, P> {
   /**
    * @return Returns the supergraph.
    */
-  public ISupergraph getSupergraph() {
+  public ISupergraph<T,P> getSupergraph() {
     return supergraph;
   }
 
@@ -1122,7 +1122,7 @@ public class TabulationSolver<T, P> {
     return summaries.getInvertedSummaryEdgesForTarget(num1, num2, d2);
   }
 
-  public TabulationProblem getProblem() {
+  public TabulationProblem<T,P> getProblem() {
     return problem;
   }
 }