diff --git a/src/constraints/circuit.jl b/src/constraints/circuit.jl
index 1abb817..6fe37ff 100644
--- a/src/constraints/circuit.jl
+++ b/src/constraints/circuit.jl
@@ -5,7 +5,7 @@ Global constraint ensuring that the values of `x` form a circuit, i.e., a sequen
 """
     xcsp_circuit(; list, size)
 
-Return `true` if the circuit constraint is satisfied, `false` otherwise. The circuit constraint is a global constraint ensuring that the values of a list of variables form a circuit, i.e., a sequence where each value is the index of the next value in the sequence, and the sequence eventually loops back to the start.
+Return `true` if the circuit constraint is satisfied, `false` otherwise. The circuit constraint is a global constraint ensuring that the values of `x` form a circuit, i.e., a sequence where each value is the index of the next value in the sequence, and the sequence eventually loops back to the start.
 
 ## Arguments
 - `list::AbstractVector`: list of values to check.
diff --git a/src/constraints/minimum.jl b/src/constraints/minimum.jl
index 23436ff..67a694e 100644
--- a/src/constraints/minimum.jl
+++ b/src/constraints/minimum.jl
@@ -1,5 +1,5 @@
 const description_minimum = """
-Global constraint specifying that a certain numerical condition should hold for the minimum value in `x`.
+Global constraint ensuring that a certain numerical condition holds for the minimum value in `x`.
 """
 
 """