diff --git a/doc/plutus-core-spec/cardano/builtins1.tex b/doc/plutus-core-spec/cardano/builtins1.tex
index caf89757c0e..3cdebd21786 100644
--- a/doc/plutus-core-spec/cardano/builtins1.tex
+++ b/doc/plutus-core-spec/cardano/builtins1.tex
@@ -329,7 +329,7 @@ \subsubsection{Built-in functions}
 \nomenclature[Azz]{$\quotfn$, $\remfn$}{Integer division operations}
 
 \noindent The $\divfn$ and $\modfn$ functions form a pair, as do $\quotfn$ and $\remfn$;
-$\divfn$ should not be used in combination with $\modfn$, not should $\quotfn$ be used
+$\divfn$ should not be used in combination with $\remfn$, nor should $\quotfn$ be used
 with $\modfn$.
 
 For positive divisors $b$, $\divfn$ truncates downwards and $\modfn$ always
@@ -346,7 +346,7 @@ \subsubsection{Built-in functions}
         \hline
         $+$ & $+$ & $+$ & $+$ & $+$ & $+$ \\
         $-$ & $+$ & $-$ & $+$ & $-$ & $-$ \\
-        $+$ & $-$ & $-$ & $+$ & $+$ & $+$ \\
+        $+$ & $-$ & $-$ & $-$ & $-$ & $+$ \\
         $-$ & $-$ & $+$ & $-$ & $+$ & $-$ \\
         \hline
         \end{tabular}