diff --git a/src/main/scala/inox/Main.scala b/src/main/scala/inox/Main.scala
index 0db45b8a0d41e7dcd49f3176bd823a6f3e2eb401..625152626bb266c1598fb4ef905376ba1d983234 100644
--- a/src/main/scala/inox/Main.scala
+++ b/src/main/scala/inox/Main.scala
@@ -12,7 +12,7 @@ trait MainHelpers {
     solvers.DebugSectionSolver
   )
 
-  protected final val debugSections = getDebugSections
+  protected final lazy val debugSections = getDebugSections
 
   final object optDebug extends OptionDef[Set[DebugSection]] {
     import OptionParsers._
@@ -58,7 +58,7 @@ trait MainHelpers {
     evaluators.optIgnoreContracts -> "Don't fail on invalid contracts during evaluation"
   )
 
-  protected final val options = getOptions
+  protected final lazy val options = getOptions
 
   private def helpString(opt: OptionDef[_]): String = {
     f"${opt.usageDesc}%-28s" + options(opt).replaceAll("\n", "\n" + " " * 28)