diff --git a/src/main/scala/inox/solvers/SolverFactory.scala b/src/main/scala/inox/solvers/SolverFactory.scala
index 9ce18f966c05ffbcdc1ce24aae65c7eaca3591f9..d7b17734b2b3b39d30f4ae32a5a49fa82b75edef 100644
--- a/src/main/scala/inox/solvers/SolverFactory.scala
+++ b/src/main/scala/inox/solvers/SolverFactory.scala
@@ -121,7 +121,7 @@ object SolverFactory {
   }
 
   def apply(p: InoxProgram, opts: Options): SolverFactory { val program: p.type; type S <: TimeoutSolver } =
-    p.ctx.options.findOptionOrDefault(InoxOptions.optSelectedSolvers).toSeq match {
+    opts.findOptionOrDefault(InoxOptions.optSelectedSolvers).toSeq match {
       case Seq() => throw FatalError("No selected solver")
       case Seq(single) => apply(single, p, opts)
       case multiple => PortfolioSolverFactory(p) {
diff --git a/src/main/scala/inox/solvers/combinators/PortfolioSolverFactory.scala b/src/main/scala/inox/solvers/combinators/PortfolioSolverFactory.scala
index dd62ddd6b6ef87b369ee5d69940afe9e79907705..edc4ed5e2aa3a9f4f7e5ac0df231195cabcde9ac 100644
--- a/src/main/scala/inox/solvers/combinators/PortfolioSolverFactory.scala
+++ b/src/main/scala/inox/solvers/combinators/PortfolioSolverFactory.scala
@@ -26,7 +26,7 @@ trait PortfolioSolverFactory extends SolverFactory { self =>
 }
 
 object PortfolioSolverFactory {
-  def apply(p: InoxProgram)
+  def apply(p: Program)
            (factories: Seq[SolverFactory { val program: p.type; type S <: TimeoutSolver }]):
             PortfolioSolverFactory { val program: p.type; type S <: TimeoutSolver } = new {
     val program: p.type = p