diff --git a/doc/developer/advance.tex b/doc/developer/advance.tex
index e275932216d8a6a094f3bf7b4d436882d18a6405..db1da3450701a754f0036a5e10e15ff392b7de37 100644
--- a/doc/developer/advance.tex
+++ b/doc/developer/advance.tex
@@ -3521,7 +3521,7 @@ source files is to use an option such as \verb+-include+ in GCC.
   Contents of \verb+tests/misc/custom_machdep/__fc_machdep_custom.h+, used as
   example for creating custom machdeps. Notice the unusual size for \verb+int+
   (3 bytes), selected for testing purposes only, and inconsistent with the
-  the chosen values for \verb+INT_MIN+ and \verb+INT_MAX+, which do not fit
+  chosen values for \verb+INT_MIN+ and \verb+INT_MAX+, which do not fit
   in 3 bytes.
 \lstinputlisting{../../tests/misc/custom_machdep/__fc_machdep_custom.h}
 \end{example}
diff --git a/doc/value/main.tex b/doc/value/main.tex
index 4123d592d89c6dd8039ca466e36f3a0d7179135a..45bc3c480be4753231c29106424b801165a09f95 100644
--- a/doc/value/main.tex
+++ b/doc/value/main.tex
@@ -1470,7 +1470,7 @@ This may happen on:
   according to the \isoc{} standard. However, a footnote also explains that
   conversion between pointers and integers is ``\emph{intended to
   be consistent with the addressing structure of the execution environment}''.
-  This is why Eva also also authorizes conversion of integers:
+  This is why Eva also authorizes conversion of integers:
   \begin{itemize}
   \item in the range of valid absolute addresses
     (according to \texttt{absolute-valid-range})