diff --git a/docs/src/get_started.md b/docs/src/get_started.md
index 09b486f..cdbbaa8 100644
--- a/docs/src/get_started.md
+++ b/docs/src/get_started.md
@@ -38,7 +38,7 @@ solution, flag = synth(problem, iterator)
 println(solution)
 ```
 
-There are various ways to adapt the search technique to your needs. Please have a look at the [`search`](@ref) documentation.
+There are various ways to adapt the search technique to your needs. Please have a look at the [`synth`](@ref) documentation.
 
 Eventually, we want to test our solution on some other inputs using `HerbInterpret`. We transform our grammar `g` to a Julia expression with `Symboltable(g)`, add our solution and the input, assigning the value `6` to the variable `x`.