diff --git a/doc/options.rst b/doc/options.rst
index 368526aeeb4b10bbdc042c3852cbf39f2b498a42..140e1e56f9ab166192cea52e73d6035219f82c27 100644
--- a/doc/options.rst
+++ b/doc/options.rst
@@ -197,6 +197,8 @@ Code extraction
 Synthesis
 *********
 
+These options are also used by repair during the synthesis stage.
+
 * ``--cegis:opttimeout``
 
   Consider a time-out of CE-search as untrusted solution.
diff --git a/src/main/scala/leon/synthesis/SynthesisPhase.scala b/src/main/scala/leon/synthesis/SynthesisPhase.scala
index 0fce45ccf76cf0516db6656daf5ac85cf28bd02e..0287ec02e8643180340608252bf7b8a8f02492b4 100644
--- a/src/main/scala/leon/synthesis/SynthesisPhase.scala
+++ b/src/main/scala/leon/synthesis/SynthesisPhase.scala
@@ -13,7 +13,7 @@ import graph._
 
 object SynthesisPhase extends LeonPhase[Program, Program] {
   val name        = "Synthesis"
-  val description = "Partial synthesis of \"choose\" constructs"
+  val description = "Partial synthesis of \"choose\" constructs. Also used by repair during the synthesis stage."
 
   val optManual      = LeonStringOptionDef("manual", "Manual search", default = "", "cmd")
   val optCostModel   = LeonStringOptionDef("costmodel", "Use a specific cost model for this search", "FIXME", "cm")