diff --git a/mkdocs/docs/circom-language/formats/constraints-json.md b/mkdocs/docs/circom-language/formats/constraints-json.md
index cff7e63dc..8f8680b84 100644
--- a/mkdocs/docs/circom-language/formats/constraints-json.md
+++ b/mkdocs/docs/circom-language/formats/constraints-json.md
@@ -22,7 +22,7 @@ where the linear expression is represented by a dictionary with the signal numbe
 ```
 { "sig_num_l1": "coef_1", ... , "sig_num_lm": "coef_m"}`
 ```
-If you also include the ```--sym``` flag, in the generated [sym file](sym.md) you can see the qualified name in the circom program associted to each signal number, with the signal number 0 always expressing the constant 1. This way we can express any constant by having it as coeficient of the signal 0.
+If you also include the ```--sym``` flag, in the generated [sym file](sym.md) you can see the qualified name in the circom program associated to each signal number, with the signal number 0 always expressing the constant 1. This way we can express any constant by having it as coeficient of the signal 0.
 
 Let us consider the following simple circuit in 'basic.circom':
 
diff --git a/mkdocs/docs/circom-language/formats/simplification-json.md b/mkdocs/docs/circom-language/formats/simplification-json.md
index 7e582f6fc..83d5684f9 100644
--- a/mkdocs/docs/circom-language/formats/simplification-json.md
+++ b/mkdocs/docs/circom-language/formats/simplification-json.md
@@ -4,7 +4,7 @@ description: >-
 ---
 # Simplification substitution json format
 
-The file contains a dictionary where the entries are the numbers of the simplified signals as a string and the values are the linear expresion that has replaced the signal.
+The file contains a dictionary where the entries are the numbers of the simplified signals as a string and the values are the linear expression that has replaced the signal.
 ```
 {
 "sig_num_1": lin_expr_1,